Transcranial Doppler (TCD) and Transcranial Color-Coded Duplex (TCCD) ultrasonography